<?hh 

function append() {
  echo "append\n";
}
